Zermelo–Fraenkel set theory - PDFSEARCH.IO - Document Search Engine

Zermelo–Fraenkel set theory
Results: 96

#	Item
71	Notre Dame Journal of Formal Logic Volume 46, Number 1, 2005 Add to Reading List Source URL: kleene.ss.uci.edu Language: English - Date: 2005-02-01 20:35:14 Z notation Quantification Functions and mappings Peano axioms Logicism S Zermelo–Fraenkel set theory Function Constructible universe Mathematical logic Mathematics Logic
72	PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Add to Reading List Source URL: www.math.unipa.it Language: English - Date: 2009-02-01 11:27:30 Sheaf theory Sheaf Functor Topos Grothendieck topology Presheaf Initial and terminal objects Adjoint functors Zermelo–Fraenkel set theory Category theory Mathematics Abstract algebra
73	Logic and Logical Philosophy Volume[removed]), 105–122 Add to Reading List Source URL: www.logika.umk.pl Language: English - Date: 2005-12-07 17:32:55 Z notation Mereology Predicate logic Constructible universe Zermelo–Fraenkel set theory S Grammar Semantics Mereotopology Mathematical logic Logic Mathematics
74	Constructive set theory – an overview Benno van den Berg Utrecht University Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2012-09-10 05:26:08 Z notation Constructive set theory Intuitionism Zermelo–Fraenkel set theory Set theory Axiom of choice Axioms of set theory Constructible universe Ordinal analysis Mathematical logic Logic Mathematical constructivism
75	C OMPOSITIO M ATHEMATICA A. H. K RUSE Add to Reading List Source URL: archive.numdam.org Language: English - Date: 2006-05-29 07:47:56 Large cardinals Category theory Grothendieck universe Universe Category of sets Inaccessible cardinal Constructible universe FO Zermelo–Fraenkel set theory Mathematical logic Mathematics Set theory
76	Believing the Axioms. II Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 3. (Sep., 1988), pp[removed]. Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2007-11-05 14:40:27 Axiom of determinacy Borel determinacy theorem Axiom of choice Axiom of projective determinacy Zermelo–Fraenkel set theory L Descriptive set theory Forcing Continuum hypothesis Mathematical logic Set theory Determinacy
77	Believing the Axioms. I Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 2. (Jun., 1988), pp[removed]. Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2007-11-05 14:40:52 Axioms of set theory Z notation Urelements Cardinal numbers Infinity Zermelo set theory Zermelo–Fraenkel set theory S Axiom of choice Mathematical logic Set theory Mathematics
78	PDF Document Add to Reading List Source URL: math.bu.edu Language: English - Date: 2010-09-08 11:35:17 Forcing Richard Laver Suslin tree Axiom of choice Mikhail Yakovlevich Suslin Saharon Shelah Robert M. Solovay Aronszajn tree Zermelo–Fraenkel set theory Mathematical logic Mathematics Set theory
79	PDF Document Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-09-14 07:41:54 Z notation Model theory Set theory Zermelo–Fraenkel set theory Axioms of set theory Axiom of choice Constructible universe S Compactness theorem Mathematical logic Mathematics Logic
80	PDF Document Add to Reading List Source URL: www.math.uwaterloo.ca Language: English - Date: 2012-09-12 10:28:54 Abstraction Ordinal number Partially ordered set Completeness Axiom of choice Constructible universe Total order Well-order Zermelo–Fraenkel set theory Mathematical logic Mathematics Order theory

UPDATE